Merge pull request #1627 from sandrine-bailleux-arm/sb/object-pool-allocator
authorDimitris Papastamos <[email protected]>
Fri, 12 Oct 2018 16:45:31 +0000 (17:45 +0100)
committerGitHub <[email protected]>
Fri, 12 Oct 2018 16:45:31 +0000 (17:45 +0100)
Introduce object pool allocator


Trivial merge